module main
fn test_iadd_3_4(){
	a := iadd(3,4)
    assert a == 7
}
fn test_iadd_5_6(){
	a := iadd(5,6)
    assert a == 11
}
